" Rupak Majumdar" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European ... Computer Science and General Issues)

Автор: Javier Esparza, Автор: Rupak Majumdar

Размер книги: 6.51 Mb

Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European ... Computer Science and General Issues)

Автор: Javier Esparza, Автор: Rupak Majumdar

Категория: Компьютеры

Размер книги: 5.39 Mb

Model Checking Software, 15 conf

Автор: Klaus Havelund, Автор: Rupak Majumdar, Автор: Jens Palsberg

Категория: CsLn_

Размер книги: 11.26 Mb